(d) Verify that every task is executed at most once.
